Teorema de la incompletud de Gödel
- Teorema de la incompletud de Gödel
- En lógica matemática, los teoremas de la incompletud de Gödel son dos célebres teoremas demostrados por Kurt Gödel en 1930. Simplificando, el primer teorema afirma:
En cualquier formalización consistente de las matemáticas que es lo bastante fuerte para definir el concepto de números naturales, se puede construir una afirmación que ni se puede demostrar ni se puede refutar dentro de ese sistema.
Enciclopedia Universal.
2012.
Mira otros diccionarios:
Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… … Wikipedia Español
Kurt Gödel — Para el lenguaje de programación, véase Gödel (lenguaje de programación). Kurt Gödel Kurt Gödel Nacimiento 28 de abril … Wikipedia Español
Paradoja del examen sorpresa — Saltar a navegación, búsqueda La paradoja del examen sorpresa es una paradoja relacionada con la lógica. Su enunciado es el siguiente: Un profesor entra en clase un día y afirma: Un día de la semana que viene os pondré un examen sorpresa. El… … Wikipedia Español
Alfred Tarski — Nacimiento 14 de enero … Wikipedia Español
